if
k
then
A
 else
 e
r
